<?php

echo GetUsersCount();

?>